1. Logic programming :
Author: Sandro Etalle, Mirosław Truszczyński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmation logique -- Congrès.
2. Proof and computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
Classification :
QA76
.
63
E358
1995
3. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
